Enable Xen hypervisor support. Resulting kernel runs
both as a guest OS on Xen and natively on hardware.
+config ARCH_XEN
+ bool
+ default y
+ help
+ TEMP ONLY. Needs to be on for drivers/xen to build.
+
+config XEN_PRIVILEGED_GUEST
+ bool
+ default n
+ help
+ Used in drivers/xen/privcmd.c. Should go away?
+
config XEN_PHYSDEV_ACCESS
depends on XEN
bool
CONFIG_EFI=y
CONFIG_GENERIC_IOMAP=y
CONFIG_XEN=y
+CONFIG_ARCH_XEN=y
+CONFIG_XEN_PRIVILEGED_GUEST=y
CONFIG_XEN_PHYSDEV_ACCESS=y
CONFIG_XEN_BLKDEV_GRANT=y
CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
#include <asm/hypercall.h>
+// for drivers/xen/privcmd/privcmd.c
+#define direct_remap_pfn_range(a,b,c,d,e,f) remap_pfn_range(a,b,c,d,e)
+#define pfn_to_mfn(x) (x)
+#define machine_to_phys_mapping 0
+
#endif /* __HYPERVISOR_H__ */